Intuitionistic implication without disjunction
نویسندگان
چکیده
منابع مشابه
Intuitionistic implication without disjunction
We investigate fragments of intuitionistic propositional logic containing implication but not disjunction. These fragments are finite, but their size grows superexponentially with the number of generators. Exact models are used to characterize the fragments.
متن کاملThe Complexity of Disjunction in Intuitionistic Logic
In the formal study of security protocols and access control systems, fragments of intuitionistic logic play a vital role. These are required to be efficient, and are typically disjunction-free. In this paper, we study the complexity of adding disjunction to these subsystems. Our lower bound results show that very little needs to be added to disjunction to get co-NP-hardness, while our upper bo...
متن کاملLinearizing Intuitionistic Implication
An embedding of the implicational propositional intuitionistic logic (iil) into the nonmodal fragment of intuitionistic linear logic (imall) is given. The embedding preserves cut-free proofs in a proof system that is a variant of iil. The embedding is eecient and provides an alternative proof of the pspace-hardness of imall. It exploits several proof-theoretic properties of intuitionistic impli...
متن کاملIntuitionistic Implication and Resolution
Some recent works rely on the intuitionistic theory of Hereditary Harrop formulas to provide extensions for Horn clauses while preserving the logic paradigm. In particular, an intuitionistic implication is used to provide some form of scoping. However the lack of appropriate evaluation strategies, notably a strategy relying on a forward-chaining search, has limited its application. This paper i...
متن کاملExclusive disjunction without implicature
For the purposes of this note, I will assume that the Gricean account of scalar implicature is correct. I admit that I don’t have any qualms about making this assumption, since as far as I can tell, the Gricean account is the only game in town. But I thought I should mention it. With this preliminary out of the way, let us proceed to the problem area, and start by considering the following exam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2010
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exq058